compiler is unable to type-check this expression — how to rewrite this basic expression